Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
511	New York State Energy Research and Development Authority Energy Efficiency Portfolio Standard (EEPS-2) Program Quarterly Report to the Public Service Commission Quarter Ending June 30, 2014 Add to Reading List Source URL: www.nyserda.ny.gov Language: English - Date: 2014-10-02 14:35:32 Sociology Science Energy law Energy policy in the United States New York State Energy Research and Development Authority Program evaluation Impact evaluation Logic model Sustainable energy Evaluation Evaluation methods Impact assessment
512	National Emergency Grant (NEG) Program Dislocated Worker Training (DWT) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by COB June 7, 2013 to be considered for funding. Add to Reading List Source URL: doleta.gov Language: English - Date: 2013-05-29 09:17:31 Metalogic Well-formed formula Automated theorem proving Logic Mathematical logic Logical syntax
513	Temporal Golog with Execution Monitoring Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 03:24:55 Situation calculus Schedule Parallel computing Execution Interpreter Computer program Computing Software engineering Logic programming
514	THE USE OF A FORMAL SIMULATOR TO VERIFY A SIMPLE REAL TIME CONTROL PROGRAM Robert S. Boyer Milton W. Green J Strother Moore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:01 Formal methods Functions and mappings Formal sciences Mathematical logic Formal verification Control theory KeY Integral Function Mathematics Applied mathematics Theoretical computer science
515	Datatype-Generic Reasoning Roland Backhouse School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, [removed] Abstract. Datatype-generic programs are program Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-07-19 06:14:04 Mathematical logic Boolean algebra Catamorphism Functional programming Relation algebra Anamorphism Category Structure Composition of relations Mathematics Abstract algebra Category theory
516	Provides services in the community/home Add to Reading List Source URL: ok.gov Language: English - Date: 2010-10-01 17:02:46 Oklahoma Department of Human Services Program evaluation Early childhood intervention Foster care Logic model Oklahoma Department of Mental Health and Substance Abuse Services Evaluation methods Evaluation Sociology
517	09301 Abstracts Collection Typing, Analysis and Verication of Heap-Manipulating Programs Dagstuhl Seminar Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-02-24 02:50:07 Logic in computer science Programming paradigms Program logic Programming language semantics Substructural logic Separation logic Class invariant Invariant Loop invariant Theoretical computer science Software engineering Mathematics
518	Advances in Programming Languages APL13: Assertions and Hoare Logic David Aspinall (most slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-08 17:16:25 Program logic Logic in computer science Propositional calculus Model theory Hoare logic Philosophy of language First-order logic Assertion Axiom Logic Mathematics Mathematical logic
519	7 Pattern Matcher Program file for this chapter: match Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2003-12-25 21:09:56 Software engineering Predicate logic Formal languages Pattern matching Predicate Logo Quantification AWK Semantics Logic Linguistics
520	Version Tracking Document for ENERGY STAR Qualified Homes, Program Requirements for Hawaii and Puerto Rico, Revision 01 Add to Reading List Source URL: www.energystar.gov Language: English - Date: 2012-09-11 12:58:15 Building engineering Building biology Logic Energy Star Evaluation Reference Sampling HVAC Checklist Environment of the United States Building energy rating Home energy rating

UPDATE